xen/arm: use device api to detect GIC version
authorVijaya Kumar K <Vijaya.Kumar@caviumnetworks.com>
Tue, 1 Jul 2014 06:41:13 +0000 (12:11 +0530)
committerIan Campbell <ian.campbell@citrix.com>
Wed, 2 Jul 2014 11:27:06 +0000 (12:27 +0100)
commit2df0c4c491b93207657fdabbb390702a43a5bee6
treec9e71820a5ae25627d8c5b9d0cd49ef3a940125e
parentbd982d7381d215106a1e3dc5d302666b4cd53ef7
xen/arm: use device api to detect GIC version

Run through the device tree to detect
compatible GIC version and initialize GIC driver

Also change DT_MATCH_GIC to DT_MATCH_GIC_V2 to point
the GIC HW version to add later GIC versions

Signed-off-by: Vijaya Kumar K <Vijaya.Kumar@caviumnetworks.com>
Acked-by: Julien Grall <julien.grall@linaro.org>
Acked-by: Stefano Stabellini <stefano.stabellini@eu.citrix.com>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
xen/arch/arm/domain_build.c
xen/arch/arm/gic-v2.c
xen/arch/arm/gic.c
xen/include/asm-arm/device.h
xen/include/asm-arm/gic.h